﻿<!DOCTYPE html>
<html lang="en">
  <head>
    <meta charset="utf-8">
    <title>@Title</title>
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <meta name="description" content="@Description">
    <meta name="author" content="@Properties["project-author"]">

    <script src="https://code.jquery.com/jquery-1.8.0.js"></script>
    <script src="https://code.jquery.com/ui/1.8.23/jquery-ui.js"></script>
    <script src="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/js/bootstrap.min.js"></script>
    <link href="https://netdna.bootstrapcdn.com/twitter-bootstrap/2.2.1/css/bootstrap-combined.min.css" rel="stylesheet">

    <link type="text/css" rel="stylesheet" href="@Root/content/style.css" />
	<link type="text/css" rel="stylesheet" href="@Root/content/fcs.css" />
    <script type="text/javascript" src="@Root/content/tips.js"></script>
    <!-- HTML5 shim, for IE6-8 support of HTML5 elements -->
    <!--[if lt IE 9]>
      <script src="https://html5shim.googlecode.com/svn/trunk/html5.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="container">
      <div class="masthead">
        <ul class="nav nav-pills pull-right">
          <li><a href="http://fsharp.org">fsharp.org</a></li>
          <li><a href="@Properties["project-github"]">github page</a></li>
        </ul>
        <h3 class="muted">@Properties["project-name"]</h3>
      </div>
      <hr />
      <div class="row">
        <div class="span9" id="main">
          @RenderBody()
        </div>
        <div class="span3">
           <a href="https://nuget.org/packages/FSharp.Compiler.Service">
            <img src="@Root/images/logo.png" style="width:140px;height:140px;margin:10px 0px 0px 35px;border-style:none;" />
          </a>
          <ul class="nav nav-list" id="menu">
            <li class="nav-header">
			<a href="@Root/ja/index.html" class="nflag"><img src="@Root/images/ja.png" /></a>
            <a href="@Root/index.html" class="nflag nflag2"><img src="@Root/images/en.png" /></a>
			@Properties["project-name"]
			</li>
            <li><a href="@Root/index.html">Home page</a></li>
            <li class="divider"></li>
            <li><a href="@Properties["project-nuget"]">Get Library via NuGet</a></li>
            <li><a href="@Properties["project-github"]">Source Code on GitHub</a></li>
            <li><a href="@Properties["project-github"]/blob/master/LICENSE">License</a></li>
            <li><a href="@Properties["project-github"]/blob/master/RELEASE_NOTES.md">Release Notes</a></li>
            
            <li class="nav-header">Getting started</li>
            <li><a href="@Root/index.html">Home page</a></li>
            <li><a href="@Root/devnotes.html">Developer notes</a></li>
            <li><a href="@Root/fsharp-readme.html">F# compiler readme</a></li>

            <li class="nav-header">Available services</li>
            <li><a href="@Root/tokenizer.html">F# Language tokenizer</a></li>
            <li><a href="@Root/untypedtree.html">Processing untyped AST</a></li>
            <li><a href="@Root/editor.html">Using editor (IDE) services</a></li>
            <li><a href="@Root/symbols.html">Using resolved symbols</a></li>
            <li><a href="@Root/typedtree.html">Using resolved expressions</a></li>
            <li><a href="@Root/project.html">Whole-project analysis</a></li>
            <li><a href="@Root/interactive.html">Embedding F# interactive</a></li>
            <li><a href="@Root/compiler.html">Embedding F# compiler</a></li>
            <li><a href="@Root/filesystem.html">Virtualized file system</a></li>

            <li class="nav-header">Design Notes</li>
            <li><a href="@Root/queue.html">The FSharpChecker operations queue</a></li>
            <li><a href="@Root/caches.html">The FSharpChecker caches</a></li>
            <li><a href="@Root/corelib.html">Notes on FSharp.Core.dll</a></li>

            <li class="nav-header">Documentation</li>
            <li><a href="@Root/reference/index.html">API Reference</a>
            </li>
          </ul>
        </div>
      </div>
    </div>
    <a href="@Properties["project-github"]"><img style="position: absolute; top: 0; right: 0; border: 0;" src="https://s3.amazonaws.com/github/ribbons/forkme_right_gray_6d6d6d.png" alt="Fork me on GitHub"></a>
  </body>
  </html>
